Blending margins
نویسنده
چکیده
We investigate properties of the formula p → 2p in the basic modal logic K. We show that K satisfies an infinitary weak variant of the rule of margins, which leads to a description of a complete set of unifiers of p → 2p. Using this information, we establish that K has nullary unification type. Moreover, we show that the formula p → 2p is admissibly saturated, but not exact.
منابع مشابه
Blending margins: the modal logic K has nullary unification type
We investigate properties of the formula p → 2p in the basic modal logic K. We show that K satisfies an infinitary weak variant of the rule of margins, which leads to a description of a complete set of unifiers of p → 2p. Using this information, we establish that K has nullary unification type. Moreover, we show that the formula p → 2p is admissibly saturated, but not exact.
متن کاملOpen circuit voltage and efficiency in ternary organic photovoltaic blends
Please do not adjust margins Please do not adjust margins Organic bulk heterojunction solar cells based on ternary blends of two donor absorbers and one acceptor are investigated by experiments and modeling. The commonly observed continuous tunability of the open circuit voltage í µí±½ í µí± ¶í µí±ª with donor1:donor2 ratio can quantitatively be explained as quasi-Fermi level splitting due to p...
متن کاملAn Effective Blending Method for Panoramic Images in Image-based Virtual Reality
Image blending is very important for image stitching with visible seams. An effective blending method for panoramic images in image-based virtual reality is proposed in this paper. The proposed blending method is a two-phase scheme. The histogram-based blending is first applied in the first phase scheme; and then in the second phase scheme, the weighted blending is used under the result of the ...
متن کاملORE extraction and blending optimization model in poly- metallic open PIT mines by chance constrained one-sided goal programming
Determination a sequence of extracting ore is one of the most important problems in mine annual production scheduling. Production scheduling affects mining performance especially in a poly-metallic open pit mine with considering the imposed operational and physical constraints mandated by high levels of reliability in relation to the obtained actual results. One of the important operational con...
متن کاملCharacterization of pharmaceutical powder blends by NIR chemical imaging.
This study demonstrates the capabilities of NIR imaging as an effective tool for characterization of pharmaceutical powder blends. The powder system used in this small-scale powder blending study consists of acetaminophen (APAP, the model API), microcrystalline cellulose (MCC) and lactose monohydrate. Mixtures of these components were blended for different times for a total of ten time points (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1108.6240 شماره
صفحات -
تاریخ انتشار 2011